COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		Bob Filman came to  my attention when he completed  as a term
C00004 ENDMK
C⊗;
	Bob Filman came to  my attention when he completed  as a term
project in  my course in computing with  symbolic expressions, a task
that I thought  couldn't be done  in the time  allotted but which  is
more like a master's  thesis in the amount of work  required.  Then I
hired  him as a research  assistant to work on  a much more difficult
task in the area  of mathematical logic and  computer proof-checking.
Again he as done extremely well showing great inventiveness when this
was necessary.  I  can heartily recommend him  for graduate work  and
hope that  he will choose  to come to  the Stanford  Computer Science
Department.   There  has been  inadequate opportunity  to observe  his
mathematical and general theoretical talent, but I would bet  that he
is capable being  in the top 5% of our  graduate students in computer
science.